David Brumley - PDFSEARCH.IO - Document Search Engine

David Brumley
Results: 104

#	Item
41	Design Space and Analysis of Worm Defense Strategies David Brumley Li-Hao Liu Pongsin Poosankam Add to Reading List Source URL: www.icir.org Language: English - Date: 2014-02-03 21:49:58 Cyberwarfare Morris worm Parasitic worm Antibody Computer security Failure Computer worms Warhol worm SQL Slammer
42	Virtual Appliances for Deploying and Maintaining Software Constantine Sapuntzakis David Brumley Ramesh Chandra Nickolai Zeldovich Jim Chow Add to Reading List Source URL: www-suif.stanford.edu Language: English - Date: 2003-09-03 14:26:00 Software appliances Software distribution Virtual appliance VMware Workstation VMware ESX VMDK Server appliance TurnKey Linux Virtual Appliance Library Software System software VMware
43	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
44	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
45	Sting: An End-to-End Self-healing System for Defending against Zero-day Worm Attacks on Commodity Software James Newsome David Brumley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Security Malware Hacking Software testing Buffer overflow Address space layout randomization Computer worm Attack Vulnerability Computer security Cyberwarfare Computer network security
46	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Software quality Cyberwarfare Vulnerability Buffer overflow Fuzz testing Stack Heap overflow Exploit Memory safety Software bugs Software testing Computer security
47	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
48	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computability theory Theoretical computer science Software testing Hacking Vulnerability Social vulnerability Buffer overflow Electronic signature Halting problem Mathematics Applied mathematics Computer science
49	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics